Перевод: с английского на русский

с русского на английский

second-order theory

См. также в других словарях:

  • Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… …   Wikipedia

  • Second-order cybernetics — Second order cybernetics, also known as the cybernetics of cybernetics, investigates the construction of models of cybernetic systems. It investigates cybernetics with awareness that the investigators are part of the system, and of the importance …   Wikipedia

  • Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… …   Wikipedia

  • Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… …   Wikipedia

  • Second-order predicate — In mathematical logic, a second order predicate is a predicate that takes a first order predicate as an argument. Compare higher order predicate.The idea of second order predication was introduced by the German mathematician and philosopher Frege …   Wikipedia

  • Order of Preachers —     Order of Preachers     † Catholic Encyclopedia ► Order of Preachers     As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… …   Catholic encyclopedia

  • Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… …   Wikipedia

  • Order (mathematics) — Contents 1 In algebra 2 In arithmetic 3 In analysis 4 …   Wikipedia

  • Theory Z — In addition to Theory X and Theory Y types of (employee) motivation, a new Japanese Management style and theory is becoming popular.Theory Z is the name applied to the so called Japanese Management style popularized during the Asian economic boom …   Wikipedia

  • Order topology — In mathematics, an order topology is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets. If X is a totally ordered set, the order …   Wikipedia

  • Order and disorder (physics) — In physics, the terms order and disorder designate the presence or absence of some symmetry or correlation in a many particle system. In condensed matter physics, systems typically are ordered at low temperatures; upon heating, they undergo one… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»